In the process of software testing, the control flow analysis is applied to discover the hierarchical flow of the module procedures, by which the structural validity of this software is proved 為了滿足工程實際要求,軟件測試過程中采用控制流分析方法繪制了iop監(jiān)控程序及十三個模塊測試程序的軟件控制流程圖,驗證了fmc執(zhí)行軟件實現(xiàn)的正確性。